Boolean Parenthesization